doc/misc/wisent.texi tweaks
authorGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 21:58:06 +0000 (13:58 -0800)
committerGlenn Morris <rgm@gnu.org>
Sat, 22 Dec 2012 21:58:06 +0000 (13:58 -0800)
commit2ef9a78cc15833a00ef344bd4c91a8782b28a73d
tree7cf5d318449977f0006ccb56fbccd8da98de0336
parent2d2939eed208e92e164c1bec62e59ffe27e280f3
doc/misc/wisent.texi tweaks

* doc/misc/wisent.texi (Wisent Overview): Fix xref.
(Grammar format, Understanding the automaton): Avoid overfill.
doc/misc/ChangeLog
doc/misc/wisent.texi